Using static analysis to improve automatic test generation

Automatic Test Generation Using Quadratic

We recently proposed an unconventional digital circuit modeling technique and formulated test generation as an energy minimisation problem [7]. Although energy minimisation is as hard as test generation, the new approach has two advantages. Since the circuit function is mathematically expressed, operations research techniques like linear and non-linear programming can be applied to test generat...

Using Contracts and Boolean Queries to Improve the Quality of Automatic Test Generation

Since test cases cannot be exhaustive, any effective test case generation strategy must identify the execution states most likely to uncover bugs. The key issue is to define criteria for selecting such interesting states. If the units being tested are classes in object-oriented programming, it seems attractive to rely on the boolean queries present in each class, which indeed define criteria on...

Automatic Test Generation and Mutation Analysis using UPPAAL SMC

B-Refactoring: Automatic test code refactoring to improve dynamic analysis

HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau...

Using N-Gram Analytics to Improve Automatic Fingerspelling Generation

Fingerspelling recognition is one of the last skills acquired, due to the complex nature of fingerspelling and a lack of display technology that is sufficiently natural for recognition practice. This paper describes a corpus-based study utilizing an n-gram extension to ELAN to gain a deeper understanding of deletion and coarticulation in fingerspelling. The analysis shows that coarticulation an...